1. Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
پدیدآورنده : Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
996
